Admissible Decentralized Control of Petri Nets
نویسندگان
چکیده
Supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communication, and with no communication. In the case of communication, the supervisors may exchange information consisting of local observed events. We propose efficient algorithms for the design of decentralized supervisors, based on the extension of the SBPI concept of admissibility that we define.
منابع مشابه
Decentralized Control of Petri Nets with Constraint Transformations
Supervision based on place invariants (SBPI) has been effectively used for the centralized supervisory control of Petri nets. In the SBPI approach, specifications are classified as admissible or inadmissible, and inadmissible specifications are enforced by transforming them first to a (more restrictive) admissible form. This paper considers the transformation to admissible specifications in a d...
متن کاملReport: Decentralized Control of Continuous Petri Nets
Aiming to reach a desired final state from a given initial one, this paper focuses on decentralized control of systems modeled by continuous Petri nets. The general PN systems considered in the paper are composed by subsystems interconnected by places (modeling buffers). Local control laws are first computed separately in subsystems, but “incorrectly” chosen ones may cause the reachability prob...
متن کاملDecentralized Control of Petri Nets
Supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communicatio...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملSoftware Tools for the Supervisory Control of Petri Nets Based on Place Invariants
This document describes a Matlab toolbox for the supervisory control of Petri nets based on place invariants [7, 9]. In what follows we present a detailed description of a number of functions we propose. These are the topics we address: • Solving integer programs • Transformations to admissible marking constraints • Enforcing linear constraints in Petri nets which may have uncontrollable and/or...
متن کامل